Computably enumerable sets that are automorphic to low sets
نویسندگان
چکیده
We work with the structure consisting of all computably enumerable (c.e.) sets ordered by set inclusion. The question we will partially address is which c.e. sets are autormorphic to low (or low2) sets. Using work of R. Miller [9], we can see that every set with semilow complement is ∆3 automorphic to a low set. While it remains open whether every set with semilow complement is effectively automorphic to a low set, we show that there are sets without semilow complement that are effectively automorphic to low sets. We also consider other lowness notions such as having a semilow1.5 complement, having the outer splitting property, and having a semilow2 complement. We show that in every nonlow c.e. degree, there are sets with semilow1.5 complements without semilow complements as well as sets with semilow2 complements and the outer splitting property that do not have semilow1.5 complements. We also address the question of which sets are automorphic to low2 sets.
منابع مشابه
The Computably Enumerable Sets: Recent Results and Future Directions
We survey some of the recent results on the structure of the computably enumerable (c.e.) sets under inclusion. Our main interest is on collections of c.e. sets which are closed under automorphic images, such as the orbit of a c.e. set, and their (Turing) degree theoretic and dynamic properties. We take an algebraic viewpoint rather than the traditional dynamic viewpoint.
متن کاملExtensions Theorems, Orbits, and Automorphisms of the Computably Enumerable Sets
We prove an algebraic extension theorem for the computably enumerable sets, E . Using this extension theorem and other work we then show: If A and  are automorphic via Ψ then they are automorphic via Λ where Λ ↾ L∗(A) = Ψ and Λ ↾ E∗(A) is ∆ 3 . We give an algebraic description of when an arbitrary set  is in the orbit of a computably enumerable set A. We construct the first example of a defin...
متن کاملExtension Theorems, Orbits, and Automorphisms of the Computably Enumerable Sets
We prove an algebraic extension theorem for the computably enumerable sets, E . Using this extension theorem and other work we then show if A and  are automorphic via Ψ then they are automorphic via Λ where Λ ↾ L∗(A) = Ψ and Λ ↾ E∗(A) is ∆ 3 . We give an algebraic description of when an arbitrary set  is in the orbit of a computably enumerable set A. We construct the first example of a defina...
متن کاملIsomorphisms of splits of computably enumerable sets
We show that if A and  are automorphic via 8 then the structures SR(A) and SR( Â) are 13-isomorphic via an isomorphism 9 induced by 8. Then we use this result to classify completely the orbits of hhsimple sets.
متن کاملUniversal computably enumerable sets and initial segment prefix-free complexity
We show that there are Turing complete computably enumerable sets of arbitrarily low non-trivial initial segment prefix-free complexity. In particular, given any computably enumerable set A with non-trivial prefixfree initial segment complexity, there exists a Turing complete computably enumerable set B with complexity strictly less than the complexity of A. On the other hand it is known that s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Computability
دوره 6 شماره
صفحات -
تاریخ انتشار 2017